On characterization and correctness of distributed deadlock detectionKSHEMKALYANI, A. D; MUKESH SINGHAL.Journal of parallel and distributed computing (Print). 1994, Vol 22, Num 1, pp 44-59, issn 0743-7315Article

Turbocharging Boosted Transactions or: How I Learnt to Stop Worrying and Love Longer TransactionsKULKARNI, Chinmay; UNSAL, Osman; CRISTAL, Adrian et al.ACM SIGPLAN notices. 2009, Vol 44, Num 4, pp 307-308, issn 1523-2867, 2 p.Conference Paper

Deadlocks and dihomotopy in mutual exclusion modelsRAUSSEN, Martin.Theoretical computer science. 2006, Vol 365, Num 3, pp 247-257, issn 0304-3975, 11 p.Conference Paper

Hierarchical reachability graph of bounded petri nets for concurrent-software analysisNOTOMI, M; MURATA, T.IEEE transactions on software engineering. 1994, Vol 20, Num 5, pp 325-336, issn 0098-5589Article

Reverse reachability analysis: a new technique for deadlock detection on communicating finite state machinesYUNG-CHEN HUNG; GEN-HUEY CHEN.Software, practice & experience. 1993, Vol 23, Num 9, pp 965-979, issn 0038-0644Article

An evaluation of deadlock-handling strategies in semiconductor cluster toolsVENKATESH, Srilakshmi; SMITH, Jeffrey S.IEEE transactions on semiconductor manufacturing. 2005, Vol 18, Num 1, pp 197-201, issn 0894-6507, 5 p.Article

A Randomized Dynamic Program Analysis Technique for Detecting Real DeadlocksJOSHI, Pallavi; PARK, Chang-Seo; SEN, Koushik et al.ACM SIGPLAN notices. 2009, Vol 44, Num 6, pp 110-120, issn 1523-2867, 11 p.Conference Paper

A partially distributed deadlock detection algorithmELMAGARMID, A. K; SHETH, A. P; LIU, M. T et al.International journal of computer & information sciences. 1985, Vol 14, Num 5, pp 307-330, issn 0091-7036Article

Development of a class of distributed termination detection algorithms : Self-organizing knowledge and data representation in distributed environmentsDEVENDRA KUMAR.IEEE transactions on knowledge and data engineering. 1992, Vol 4, Num 2, pp 145-155, issn 1041-4347Article

A parallel multi-unit resource deadlock detection algorithm with Olog₂(min(m, n)) overall run-time complexityXIANG XIAO; JAEHWAN JOHN LEE.Journal of parallel and distributed computing (Print). 2011, Vol 71, Num 7, pp 938-954, issn 0743-7315, 17 p.Article

The Pilot Library for Novice MPI ProgrammersCARTER, John D; GARDNER, William B; GREWAL, Gary et al.ACM SIGPLAN notices. 2010, Vol 45, Num 5, pp 351-352, issn 1523-2867, 2 p.Conference Paper

Deadlock Detection and Recovery for True Fully Adaptive Routing in Regular Wormhole NetworksLEE, Soojung.Journal of information science and engineering. 2009, Vol 25, Num 2, pp 465-479, issn 1016-2364, 15 p.Article

Efficient detection and resolution of OR deadlocks in distributed systemsLEE, Soojung; KIL HONE JOO.Journal of parallel and distributed computing (Print). 2005, Vol 65, Num 9, pp 985-993, issn 0743-7315, 9 p.Article

Efficient detection of a locally stable predicate in a distributed systemATREYA, Ranganath; MITTAL, Neeraj; KSHEMKALYANI, Ajay D et al.Journal of parallel and distributed computing (Print). 2007, Vol 67, Num 4, pp 369-385, issn 0743-7315, 17 p.Article

A deadlock detection mechanism for true fully adaptive routing in regular wormhole networksLEE, Soojung.Computer communications. 2007, Vol 30, Num 8, pp 1826-1840, issn 0140-3664, 15 p.Article

RECONFIGURABLE MODELLING WITH DEADLOCK AVOIDANCE FOR THE CLINICAL PATHWAY BASED ON MCPN-CSDU, G; JIANG, Z. B; DIAO, X. D et al.International journal of simulation modelling. 2010, Vol 9, Num 2, pp 61-73, issn 1726-4529, 13 p.Article

Deadlock detection and avoidance strategies for automated storage and retrieval systemsDOTOLI, Mariagrazia; PIA FANTI, Maria.IEEE transactions on systems, man and cybernetics. Part C, Applications and reviews. 2007, Vol 37, Num 4, pp 541-552, issn 1094-6977, 12 p.Article